/* Benchmarks for the PionterC verifier. */

// array out-of bound error

/*@ ({p} && {q})
  @*/
void foo(int* p, int* q)
{
  int* i;
  i = alloc(int);
  free(i);
  return;
}
/*@ */
